; TEST-ARGS: -disallow-ub-exploitation

define void @fn(ptr %x) null_pointer_is_valid {
  call void @g(ptr %x)
  ret void
}

declare void @g(ptr byval(i32)) null_pointer_is_valid
